Foundations of Formal Logic.

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

Formal Verification of Logic Programs: Foundations and Implementation

We present the theoretical foundations of LPTP, a logic program theorem prover implemented in Prolog by the author. LPTP is an interactive theorem prover in which one can prove termination and correctness properties of pure Prolog programs that contain negation and built-in predicates like is/2 and call/n. The largest program that has been verified using LPTP is 635 lines long including its spe...

Foundations of Algebraic Logic

Newly formulated foundations of algebraic logic will be presented. Although it aims at applications to mathematical psychology, results within this paper is universal and so is expected to be applied to other branches as well.

Formal Foundations of Computer Security

Foundations of Probabilistic Logic

We formalize a mathematical approach to probabilistic logic for zero-order logic and derive new inequalities that are necessary and sufficient for consistent probability assignments to propositions. We prove that a complete theory of probabilistic logic requires the a priori assignment of probabilities for a system with k basic propositions. We also show that a proposal due to Cheeseman, namely...